residue Lie ring

[数] 剩余李环